Critical Systems: Formal Methods and Automated Verification: Formal Methods and Automated Verification : Joint 22nd International Workshop on Formal ... 10471 (Lecture Notes in Computer Science)
by Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti
ISBN 13: 9783319671123
Format: Paperback (252 pages) Publisher: Springer Published: 25 Aug 2017
Save for later